1. A Proof Theory for Description Logics
پدیدآورنده: / Alexandre Rademaker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
2. <A> Proof Theory for General Unification
پدیدآورنده: \ Wayne Snyder
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving
رده :
E-Book
,
3. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: / Shawn Hedman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
H34
2004
4. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Shawn Hedman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
5. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Hedman, Shawn.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
6. A proof theory for general unification
پدیدآورنده: / Wayne Snyder,Snyder
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
1991
7. A proof theory for general unification
پدیدآورنده: Wayne Snyder
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
8. Advances in Proof Theory
پدیدآورنده: \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory -- Congresses.
رده :
E-Book
,
9. Advances in proof theory
پدیدآورنده: Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
10. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: / Peter B. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Type theory
رده :
QA9
.
A638
11. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
12. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
13. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
14. Applied proof theory: proof interpretations and their use in mathematics
پدیدآورنده: Kohlenbach, U. )Ulrich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
رده :
QA
9
.
54
.
K64
2008
15. Arithmetic, Proof theory and computational complexity
پدیدآورنده: edited by Peter Clote and Jan Krajicek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
16. Basic proof theory
پدیدآورنده: A.S. Troelstra, H. Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
T73
2000
17. Basic proof theory
پدیدآورنده: / A.S. Troelstra, H. Schwichtenberg
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Proof theory
رده :
QA9
.
54
.
T76
1996
18. Basic proof theory
پدیدآورنده: A.S. Troelstra, H. Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
T73
19. Basic proof theory
پدیدآورنده: Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
T76
2000
